(A => A) => F[A]